|
In mathematics, a ternary equivalence relation is a kind of ternary relation analogous to a binary equivalence relation. A ternary equivalence relation is symmetric, reflexive, and transitive. The classic example is the relation of collinearity among three points in Euclidean space. In an abstract set, a ternary equivalence relation determines a collection of equivalence classes or ''pencils'' that form a linear space in the sense of incidence geometry. In the same way, a binary equivalence relation on a set determines a partition. ==Definition== A ternary equivalence relation on a set is a relation , written , that satisfies the following axioms: #Symmetry: If then and . (Therefore also , , and .) #Reflexivity: . Equivalently, if , , and are not all distinct, then . #Transitivity: If and and then . (Therefore also .) 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Ternary equivalence relation」の詳細全文を読む スポンサード リンク
|